float32[<=13] numbers
